System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
871	Simply Easy! An Implementation of a Dependently Typed Lambda Calculus Andres L¨oh Conor McBride Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2007-10-10 18:00:00 Programming language theory Lambda calculus Generalized algebraic data type System F Simply typed lambda calculus Type system Type safety Dependent type Symbol Type theory Software engineering Theoretical computer science
872	Pluggable Type Systems Gilad Bracha Copyright Gilad Bracha[removed] Add to Reading List Source URL: www.bracha.org Language: English - Date: 2004-10-17 22:47:03 Type theory Java programming language Data types Data Gilad Type system Software engineering Java Classloader Copyright Computing Gilad Bracha Year of birth missing
873	SAMPLE CHAPTER IN ACTION Distributed messaging for everyone Alvaro Videla Add to Reading List Source URL: manning.com Language: English - Date: 2012-04-17 13:43:09 Message-oriented middleware Erlang programming language Middleware Internet protocols MySQL RabbitMQ Advanced Message Queuing Protocol Erlang Mercurial Software Computing System software
874	SAMPLE CHAPTER Erlang AND OTP Add to Reading List Source URL: www.manning.com Language: English - Date: 2010-11-07 10:58:38 System software Erlang Open Telecom Platform Concurrent computing Mnesia Virtual machine CouchDB Ejabberd Computing Erlang programming language Software
875	Practical Implementation of a Dependently Typed Functional Programming Language by Edwin C. Brady Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2005-11-24 08:52:53 Theoretical computer science Lambda calculus Functional languages Data types Dependent type Type system Functional programming Programming language Epigram Programming language theory Type theory Software engineering
876	Dependent Types for an Adequate Programming of Algebra Sergei D. Meshveliani ? Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:56:04 Functional languages Agda Haskell Proof assistant Dependent type Fold Functional programming Q Type system Software engineering Computing Programming language theory
877	UNIVERSITY OF CALIFORNIA SANTA CRUZ EXECUTABLE REFINEMENT TYPES A dissertation submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY Add to Reading List Source URL: kennknowles.com Language: English - Date: 2014-02-23 11:12:22 Programming language theory Data types Object-oriented programming Program analysis Type system Subtype polymorphism Program refinement C Dependent type Type theory Software engineering Computing
878	Siebel eScript Language Reference Add to Reading List Source URL: docs.oracle.com Language: English - Date: 2005-12-06 09:30:08 Siebel Systems Method Siebel Objective-C Constructor Common Lisp Object System Software engineering Computer programming Object-oriented programming
879	Understanding TypeScript Gavin Bierman1,? , Mart´ın Abadi2 , and Mads Torgersen2 1 2 Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2014-06-20 19:14:31 Programming language theory Data types Object-oriented programming Lambda calculus Polymorphism Type system JavaScript Subtype polymorphism Type safety Software engineering Computing Type theory
880	Magento Features List Magento Features List Magento is a feature-rich eCommerce platform solution that offers merchants complete flexibility and control over the functionality of their online channel. Magento’s search Add to Reading List Source URL: info.magento.com Language: English - Date: 2015-02-20 06:08:10 Magento Software Order management system Subscription business model Retail Content management systems PHP programming language Comparison of shopping cart software Batavi Electronic commerce Business Online shopping

UPDATE